Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Teaching Concurrency: Theory in Practice
2009-01-01 Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J
The Equational Theory of Weak Complete Simulation Semantics over BCCSP
2012-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
The Shortcut Problem - Complexity and Approximation
2009-01-01 R., Bauer; D'Angelo, G; D., Delling; D., Wagner
When Are Prime Formulae Characteristic?
2015-01-01 Aceto, L; Della Monica, D; Fábregas, I; Ingólfsdóttir, A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Teaching Concurrency: Theory in Practice | 1-gen-2009 | Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J | |
The Equational Theory of Weak Complete Simulation Semantics over BCCSP | 1-gen-2012 | Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A | |
The Shortcut Problem - Complexity and Approximation | 1-gen-2009 | R., Bauer; D'Angelo, G; D., Delling; D., Wagner | |
When Are Prime Formulae Characteristic? | 1-gen-2015 | Aceto, L; Della Monica, D; Fábregas, I; Ingólfsdóttir, A |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile